Duality and interval analysis over idempotent semirings

In this paper semirings with an idempotent addition are considered. These algebraic structures are endowed with a partial order. This allows to consider residuated maps to solve systems of inequalities $A \otimes X \preceq B$. The purpose of this paper is to consider a dual product, denoted $\odot$, and the dual residuation of matrices, in order to solve the following inequality $A \otimes X \preceq X \preceq B \odot X$. Sufficient conditions ensuring the existence of a non-linear projector in the solution set are proposed. The results are extended to semirings of intervals

Inner and outer approximation of capture basins using interval analysis

Abstract: This paper proposes a new approach to solve the problem of computing the capture basin C of a target T. The capture basin corresponds to the set of initial states such that the target is reached in finite time before possibly leaving of constrained set. We present an algorithm, based on interval analysis, able to characterize an inner and an outer approximation C − ⊂ C ⊂ C+ of the capture basin. The resulting algorithm is illustrated on the Zermelo problem

Capture basin approximation using interval analysis

This paper proposes a new approach for computing the capture basin C of a target T. The capture basin corresponds to the set of initial state vectors such that the target could be reached in finite time via an appropriate control input, before possibly leaving the target. Whereas classical capture basin characterization does not provide any guarantee on the set of state vectors that belong to the capture basin, interval analysis and guaranteed numerical integration allow us to avoid any indetermination. We present an algorithm that is able to provide guaranteed approximation of the inner C− and the outer C+ of the capture basin, such that C−⊆C⊂C+. In order to illustrate the principle and the efficiency of the approach, a testcase on the ‘car on the hill’ problem is provided. Copyright © 2010 John Wiley & Sons, Ltd

On Max-Plus Linear Dynamical System Theory: The Regulation Problem

A class of timed discrete event systems can be modeled by using Timed-Event Graphs, a class of timed Petri nets that can have its firing dynamic described by using an algebra called “Max-plus algebra”. For this kind of systems it may be desirable to enforce some timing constraints in steady state. In this paper, this problem is called a “max-plus regulation problem”. In this context we show a necessary condition for solving these regulation problems and in addition that this condition is sufficient for a large class of problems. The obtained controller is a simple linear static state feedback and can be computed using efficient pseudo-polynomial algorithms. Simulation results will illustrate the applicability of the proposed methodology

Optimal Control for (max,+)-linear Systems in the Presence of Disturbances

This paper deals with control of (max,+)-linear systems when a disturbance acts on system state. In a first part we synthesize the greatest control which allows to match the disturbance action. Then, we look for an output feedback which makes the disturbance matching. Formally, this problem is very close to the disturbance decoupling problem for continuous linear systems